An Analytical Solution for Probabilistic Guarantees of Reservation Based Soft Real-Time Systems
نویسندگان
چکیده
منابع مشابه
Probabilistic Guarantees for Fault-Tolerant Real-Time Systems
Hard real-time systems are usually required to provide an absolute guarantee that all tasks will execute by their deadlines. In this paper we address fault tolerant hard realtime systems, and introduce the notion of a probabilistic guarantee. Schedulability analysis is used together with sensitivity analysis to establish the maximum fault frequency that a system can tolerate. The fault model is...
متن کاملProbabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems
Hard real-time systems are usually required to provide an absolute guarantee that all tasks will always complete by their deadlines. In this paper we address fault tolerant hard real-time systems, and introduce the notion of a probabilistic guarantee. Schedulability analysis is used together with sensitivity analysis to establish the maximum fault frequency that a system can tolerate. The fault...
متن کاملFault-Tolerance Strategies and Probabilistic Guarantees for Real-Time Systems
Ubiquitous deployment of embedded systems is having a substantial impact on our society, since they interact with our lives in many critical real-time applications. Typically, embedded systems used in safety or mission critical applications (e.g., aerospace, avionics, automotive or nuclear domains) work in harsh environments where they are exposed to frequent transient faults such as power supp...
متن کاملRun-Time Guarantees for Real-Time Systems
Interpretation (AI) • AI: semantics based method for static program analysis • Basic idea of AI: Perform the program's computations using value descriptions or abstract value in place of the concrete values • Basic idea in WCET: Derive timing information from an approximation of the “collecting semantics” (for all inputs) • AI supports correctness proofs • Tool support (PAG)
متن کاملQoS guarantees based on end-to-end resource reservation for real-time video communications
The distributed multimedia system requires Quality of Service (QoS) guarantees in each entity within the system. The underlying transport network has to guarantee the network–level QoS, e.g., transfer delay, delay jitter and loss ratio. The video server has to have a mechanism to transmit the requested video stream in a real-time fashion, and the client must take care of the continuous and high...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Parallel and Distributed Systems
سال: 2016
ISSN: 1045-9219
DOI: 10.1109/tpds.2015.2416732